Frame Algebra with Synchronous Communication
نویسندگان
چکیده
We introduce frames as basic objects for the construction of transition systems, process graphs or au-tomata. We provide an algebraic notation for frames, and display some theoretical results.
منابع مشابه
Deciding Synchronous Kleene Algebra with Derivatives
Synchronous Kleene algebra (SKA) is a decidable framework that combines Kleene algebra (KA) with a synchrony model of concurrency. Elements of SKA can be seen as processes taking place within a fixed discrete time frame and that, at each time step, may execute one or more basic actions or then come to a halt. The synchronous Kleene algebra with tests (SKAT) combines SKA with a Boolean algebra. ...
متن کامل*-Operator Frame for End_{mathcal{A}}^{ast}(mathcal{H})
In this paper, a new notion of frames is introduced: $ast$-operator frame as generalization of $ast$-frames in Hilbert $C^{ast}$-modules introduced by A. Alijani and M. A. Dehghan cite{Ali} and we establish some results.
متن کاملBox Calculus with Coloured Buffers
The starting point of this paper is the asynchronous box calculus with multiway communication (MBC), a formalism suitable for modelling compositionally distributed systems using both synchronous and asynchronous communication and a number of control flow operators. MBC is composed of two semantically consistent models: an algebra of lowlevel Petri nets and an associate algebra of process terms ...
متن کاملPower Swings Damping Improvement with STATCOM and SMES Based on the Direct Lyapunov Method
In this paper a comprehensive approach is presented to improve power swings damping based on direct Lyapunov method. The approach combines superconducting magnetic energy storage (SMES) system with static synchronous compensator (STATCOM). Considering the energy absorption/injection ability of SMES, in transient states the combination exchanges both active and reactive powers with power system....
متن کاملBasic Techniques for Numerical Linear Algebra on Bulk Synchronous Parallel Computers
The bulk synchronous parallel (BSP) model promises scalable and portable software for a wide range of applications. A BSP computer consists of several processors, each with private memory, and a communication network that delivers access to remote memory in uniform time. Numerical linear algebra computations can beneet from the BSP model, both in terms of simplicity and eeciency. Dense LU decom...
متن کامل